add_executable(test_lexicon "test_lexicon.cpp")
target_link_libraries(test_lexicon otawa ${LIBELM})
